Asynchronous Links in the PBC and M-Nets
نویسندگان
چکیده
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We introduce a new operator with nice algebraic properties which allows to express asynchronous communications in a simple and flexible way. With this extension, asynchronous communications become at least as simple to express as (existing) synchronous ones. Finally, we show how this extension can be used in order to specify systems with timing constraints.
منابع مشابه
Operational Semantics for PBC with Asynchronous Communication
This paper presents two related algebras which can be used to specify and analyse concurrent systems with synchronous and asynchronous communications. The first algebra is based on a class of P/T-nets, called boxes, and their standard transition firing rule. It is an extension of the Petri Box Calculus (PBC). Essentially, the original model is enriched with the introduction of special ‘buffer’ ...
متن کاملA New Synchronization in Finite Stochastic Petri Box Calculus
The Petri Box Calculus (PBC) combines two well known paradigms of the design of concurrent systems: process algebras and Petri nets. In our first proposal of sPBC (stochastic PBC) [12] we defined a Markovian extension of finite PBC, i.e., we had a Markovian process algebra for which both an operational and a denotational (based on stochastic Petri nets) semantics were defined. Our goal in this ...
متن کاملIllegal Silver pomfret, Pampus argenteus (Euphrasen, 1788), fishing by Fixed gill-nets in Qeshm Island waters (Hormozgan province)
The aim of the present study was to evaluate the illegal Silver pomfret catch by fixed gill-nets in Hormozgan inshore waters (Qeshm Island). Sampling was performed in Bandar Laft estuaries through three fishing boats between April to July 2015. The fishing gears were the nylon mono-filament fixed gill-net with 6.5 cm mesh size (bar), 200 m length and 8-10 m height. The non-parametric bootstrap ...
متن کاملBit Error Performance for Asynchronous Ds Cdma Systems Over Multipath Rayleigh Fading Channels (RESEARCH NOTE)
In recent years, there has been considerable interest in the use of CDMA in mobile communications. Bit error rate is one of the most important parameters in the evaluation of CDMA systems. In this paper, we develop a technique to find an accurate approximation to the probability of bit error for asynchronous direct–sequence code division multiple–access (DS/CDMA) systems by modeling the multipl...
متن کاملEvaluation of Lung Density and Its Dosimetric Impact on Lung Cancer Radiotherapy: A Simulation Study
Background: The dosimetric parameters required in lung cancer radiation therapy are taken from a homogeneous water phantom; however, during treatment, the expected results are being affected because of its inhomogeneity. Therefore, it becomes necessary to quantify these deviations.Objective: The present study has been undertaken to find out inter- and intra- lung density variations and its dosi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999